FDL - Step of Proof: assert_of

Step of Proof: assert_of_bimplies

9,38

Inference at * 1
Iof proof for Lemma assert of bimplies:

1. True

False

by ((D 1)

CollapseTHEN ((Auto_aux (first_nat 1:n) ((first_nat 1:n),(first_nat 4:n)) (first_tok

C:t) inil_term)))

Definitions t T, True, False, P Q